const unsigned char optab1[OPMAX] =
	{
	0x0,0x2d,0x21,0xcd,0x81,0x1,0x21,0x21,
	0x4d,0x2d,0x2d,0x21,0x2,0x2,0x2,0x1,
	0x1,0x1,0x1,0x1,0x2,0x2,0x2,0x2,
	0x12,0x2,0x2,0x2,0x2,0x2,0x2,0x1,
	0x1,0x1,0x2,0x11,0x11,0x1,0x11,0x1,
	0x11,0x2,0x1,0x2,0x2,0x1,0x11,0x11,
	0x11,0x2,0x11,0x12,0x31,0x31,0x11,0x31,
	0x31,0xd1,0x91,0x11,0x31,0x31,0x51,0x31,
	0x31,0x31,0x5,0x5,0x5,0x5,0x5,0x5,
	0x5,0x5,0x5,0x5,0x5,0x5,0x5,0x5,
	0x5,0x5,0x5,0x5,0x5,0x5,0x5,0x5,
	0x5,0x5,0x5,0x5,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x1,0x11,0x12,0x1,0x2,0x0,0x2,0x0,
	0x2,0x0,0x0,0x0,0x0,0x1,0x1,0x0,
	0x10,0x1,0x10,0x12,0x12,0x10,0x1,0x1,
	0x0,0x0,0x1,0x2,0x1,0x11,0x11,0x1,
	0x1,0x11,0x0,0x12,0x12,0x11,0x0,0x0,
	0x0,0x0,0x1,0x2,0x1,0x2,0x2	};
const unsigned char optab2[OPMAX] =
	{
	0x0,0xc2,0xc2,0xc2,0xc0,0xc0,0xc0,0xc2,
	0xc2,0xc2,0xc2,0xc0,0xc1,0xc1,0xc2,0x80,
	0x80,0x81,0x81,0x80,0xc0,0xc0,0xc2,0x0,
	0x0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,
	0x80,0x80,0xc0,0xa8,0xa0,0xc0,0xa8,0xc0,
	0xa8,0x0,0xc0,0xc0,0xc0,0xc0,0xa0,0xa0,
	0xa0,0xc0,0xb8,0xb2,0xb8,0xb8,0xb8,0xba,
	0xba,0xba,0xb8,0xb8,0xba,0xba,0xba,0xba,
	0xba,0xba,0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,
	0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,
	0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,0xc1,
	0xc1,0xc1,0xc1,0xc1,0x40,0xc0,0xc0,0xc0,
	0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,
	0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,
	0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,
	0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,0xc0,
	0x0,0xac,0xa4,0xcc,0xc4,0xc0,0x0,0x0,
	0x0,0xc0,0xc0,0xc0,0x0,0x80,0x80,0x80,
	0xa0,0x8,0x0,0x0,0x0,0x0,0xc0,0xc0,
	0x80,0xc0,0xc0,0xc0,0xc0,0x20,0x20,0xc0,
	0xc0,0xc0,0x80,0xc0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0	};
const unsigned char optab3[OPMAX] =
	{
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x1,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x1,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x1,0x0,0x0,0x0,
	0x1,0x0,0x1,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x1,0x1,0x1,0x1,0x1,0x0,
	0x1,0x1,0x0,0x1,0x1,0x0,0x0,0x1,
	0x0,0x0,0x1,0x1,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0,0x0,
	0x0,0x0,0x0,0x0,0x0,0x0,0x0	};
const unsigned char opcost[OPMAX] =
	{
	0x0,0x7,0x7,0xa,0xb,0xb,0x9,0x9,
	0x7,0x7,0x7,0x9,0x5,0x5,0x2,0x7,
	0x7,0xa,0xa,0x7,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x7,
	0x7,0x7,0x2,0x7,0x7,0x7,0x7,0x7,
	0x7,0x2,0x7,0x2,0x2,0x7,0x7,0x7,
	0x7,0x2,0x7,0x2,0x7,0x7,0x7,0x7,
	0x7,0x7,0x7,0x7,0x7,0x7,0x7,0x7,
	0x7,0x7,0xa,0xa,0xa,0xa,0xa,0xa,
	0xa,0xa,0xa,0xa,0xa,0xa,0xa,0xa,
	0xa,0xa,0xa,0xa,0xa,0xa,0xa,0xa,
	0xa,0xa,0xa,0xa,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x2,0x2,0x2,0x2,0x2,0x2,0x2,0x2,
	0x7,0x11,0xc,0x11,0xc,0x0,0x2,0x0,
	0x2,0x0,0x0,0x1,0x0,0x7,0x7,0x0,
	0x0,0x7,0x0,0x2,0x2,0x0,0x7,0x7,
	0x0,0x0,0x5,0x2,0x7,0x11,0x11,0x7,
	0x7,0x7,0x0,0x2,0x2,0x7,0x0,0x0,
	0x0,0x0,0x7,0x2,0x7,0x2,0x2	};
unsigned char rel_not[] =
{ 0x53,0x50,0x52,0x51,0x47,0x46,0x54,0x55,
  0x56,0x57,0x58,0x59,0x5a,0x5b,0x43,0x45,
  0x44,0x42,0x48,0x49,0x4a,0x4b,0x4c,0x4d,
  0x4e,0x4f,
};
unsigned char rel_swap[] =
{ 0x45,0x44,0x43,0x42,0x46,0x47,0x48,0x49,
  0x4a,0x4d,0x4e,0x4b,0x4c,0x4f,0x52,0x53,
  0x50,0x51,0x54,0x55,0x56,0x59,0x5a,0x57,
  0x58,0x5b,
};
unsigned char rel_integral[] =
{ 0x42,0x43,0x44,0x45,0x46,0x47,0x00,0x47,
  0x01,0x42,0x44,0x45,0x43,0x46,0x42,0x44,
  0x45,0x43,0x01,0x46,0x00,0x43,0x45,0x44,
  0x42,0x47,
};
unsigned char rel_exception[] =
{ 0x01,0x01,0x01,0x01,0x00,0x00,0x00,0x01,
  0x01,0x00,0x00,0x00,0x00,0x00,0x01,0x01,
  0x01,0x01,0x00,0x01,0x01,0x00,0x00,0x00,
  0x00,0x00,
};
unsigned char rel_unord[] =
{ 0x00,0x00,0x00,0x00,0x00,0x01,0x01,0x00,
  0x00,0x01,0x01,0x01,0x01,0x01,0x01,0x01,
  0x01,0x01,0x00,0x01,0x01,0x00,0x00,0x00,
  0x00,0x00,
};
